]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6200daa) | patch
ExtensionSystem: introduce versioning
authorGiovanni Campagna <gcampagna@src.gnome.org>
Tue, 11 Jan 2011 21:42:34 +0000 (22:42 +0100)
committerGiovanni Campagna <gcampagna@src.gnome.org>
Wed, 12 Jan 2011 19:34:25 +0000 (20:34 +0100)
commit5412ce276cf9fa0d137b74a31e4263c70020faea
tree6b64c97b820d2c822867d274d52b45a83ec07ee3tree | snapshot
parent6200daa5bb1ad72ef8ca8890309b6b84b0931dc9commit | diff
ExtensionSystem: introduce versioning

Require that all extensions have a "shell-version" property in their
metadata, which is an array of supported Shell versions.
Extensions can target a specific version triple or an entire stable
version.
Optionally, they can also require a specific GJS version, to ensure
compatibility.

https://bugzilla.gnome.org/show_bug.cgi?id=639255
js/ui/extensionSystem.js diff | blob | history
src/gnome-shell.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.